 |
0 索取号:TP31/E8025 作者:Brady、 J. M.、 出版社:London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
|  |
0 索取号:TP31/E9048 作者:Budgen、 D. (David)、 出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1989.
|
 |
0 索取号:TP31/E9057 作者:Abbott、 Russell J.、 1942-、 出版社:New York : Wiley, 1986.
|  |
0 索取号:TP31/E8016 作者:Aron、 J. D. (Joel D.)、 出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1974-
|
 |
0 索取号:TP31/E8041/3 作者:John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、 出版社:New York : Academic Press, 1977.
|  |
0 索取号:TP302/E9034/3 作者:Ward、 Paul T.、Mellor、 Stephen J.、 出版社:New York, N.Y. : Yourdon Press, 1985-c1986.
|
 |
0 索取号:TP302/E9034/2 作者:Ward、 Paul T.、Mellor、 Stephen J.、 出版社:New York, N.Y. : Yourdon Press, 1985-c1986.
|  |
0 索取号:TP302/E9034/1 作者:Ward、 Paul T.、Mellor、 Stephen J.、 出版社:New York, N.Y. : Yourdon Press, 1985-c1986.
|
 |
0 索取号:TP302/E9019 作者:Satyanarayanan、 M.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1980.
|  |
0 索取号:TP302/E9029/2 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|
 |
0 索取号:TP302/E9029/1 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|  |
0 索取号:TP302/E808 作者:Kaufmann、 A. (Arnold)、 1911-、Grouchko、 Daniel、 joint author.、Cruon、 R.、 joint author.、 出版社:New York : Academic Press, 1977.
|
 |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|  |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|
 |
0 索取号:TP301/E994 作者: 出版社:N.Y. Boston : Academic Press, 1992.
|  |
0 索取号:TP301/E901 作者:Davis、 Martin、 1928-、Weyuker、 Elaine J.、 出版社:New York : Academic Press, 1983.
|